121. Functional programming using standard ML
پدیدآورنده : Wikstrom, Ake
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Functional programming )Computer science(,، ML )Computer program language(
رده :
QA
76
.
7
.
W54
1987
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
122. Graph reduction : Proceedings of a Workshop, Santa Fe, New Mexico, USA, September 29 - October 1, 1986
پدیدآورنده : Joseph H. Fasel, Robert M. Keller )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages,Congresses ، Graph grammars,Congresses ، Computer architecture
رده :
QA
76
.
L28
Vol
.
279
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
123. Implementation and application of functional language
پدیدآورنده : / Jurriaan Hage, Marco T. Morazaan (eds
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Functional programming languages, Congresses,Computer science,Software engineering,Logic design,Logics and Meanings of Programs,Programming Languages, Compilers, Interpreters,Mathematical Logic and Formal Languages,Programming Techniques,Electronic books
رده :
QA76
.
62
.
I58
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
124. Implementation and application of functional languages : 16th International Workshop, IFL 2004, Lubeck, Germany, September 8-10, 2004 : revised selected papers
پدیدآورنده : Clemens Grelck... ]et al.[ )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
3474
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
125. Implementation of functional languages : 8th International Workshop, IFL'96 Bad Godesberg, Germany, September 1996 : selected papers
پدیدآورنده : Werner Kluge )ed.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1268
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
126. Implementation of functional languages : 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003 : revised papers
پدیدآورنده : ]volume editiors, Phil Trinder, Greg Michaelson, Ricardo Pena[
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
3145
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
127. Implementation of functional languages : 11th International Workshop, IFL'99, Lochem, The Netherlands, September 7-10, 1999 : selected papers
پدیدآورنده : Pieter Koopman, Chris Clack )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1868
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
128. Implementation of functional languages : 10th International Workshop, IFL'98, London, UK, September 1998 : selected papers
پدیدآورنده : Kevin Hammond, Tony Davie, Chris Clack )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1595
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
129. Implementation of functional languages : 13th International Workshop, IFL 2001, Stockholm, Sweden, September 24-26, 2001 : selected papers
پدیدآورنده : Thomas Arts, Markus Mohnen )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2312
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
130. Implementation of functional languages: 12th international workshop, IFL 2000, Aachen, Germany, September 4-7, 2000: selected papers
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
62
.
I56
2000
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
131. Implementation of functional languages : 12th international workshop, IFL 2000, Aachen, Germany, September 2000 : selected papers
پدیدآورنده : Markus Mohnen, Pieter Koopman )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2011
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
132. Implementation of functional languages : 14th international workshop, IFL 2002, Madrid, Spain, September 16-18, 2002 : revised papers
پدیدآورنده : Ricardo Peلa, Thomas Arts )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
2670
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
133. Implementation of functional languages : 9th international workshop, IFL'97 : St. Andrews, Scotland, UK, September 1997 : selected papers
پدیدآورنده : Chris Clack, Kevin Hammond, Tony Davie )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Functional programming languages
رده :
QA
76
.
L28
Vol
.
1467
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
134. Inductive synthesis of functional programs : universal planning, folding of finite programs, and schema abstraction by analogical reasoning
پدیدآورنده : Schmid, Ute
کتابخانه: (طهران)
موضوع : ، Computer programming,، Software engineering,، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
2654
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
135. Introducing Elixir: Getting Started in Functional Programming
پدیدآورنده : / Simon St. Laurent, J. David Eisenberg
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
136. Introducing Erlang : Getting Started in Functional Programming
پدیدآورنده : / Laurent, Simon St.
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
![](/design/images/bookmore.png)
137. Introduction to functional programming
پدیدآورنده : Richard Bird, Philip Wadler
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Functional programming (computer science)
رده :
QA
،
76
.
6
،.
B568
،
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
138. Introduction to functional programming
پدیدآورنده : Bird, Richard J
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Functional programming )Computer science(
رده :
QA
76
.
6
.
B568
1988
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
139. Introduction to functional programming
پدیدآورنده : BIRD,RICHARD J
کتابخانه: (طهران)
موضوع : FUNCTIONAL PROGRAMMING )COMPUTER SCIENCE
رده :
QA
76
.
6
.
B568
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
140. Introduction to functional programming using Haskell
پدیدآورنده : /Richard Bird
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (طهران)
موضوع :
![](/design/images/bookmore.png)